منابع مشابه
Predicative Algebraic Set Theory
In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown...
متن کاملA New Approach to Predicative Set Theory
We suggest a new basic framework for the Weyl-Feferman predicativist program by constructing a formal predicative set theory PZF which resembles ZF . The basic idea is that the predicatively acceptable instances of the comprehension schema are those which determine the collections they define in an absolute way, independent of the extension of the “surrounding universe”. This idea is implemente...
متن کاملTheory of Meaning in Commenting Predicative Qualities
The verses of predicative qualities have considered as a notable challenge of the ambiguous verses. Various views have been presented in the field of which the theories of real qualification and hermeneutics may be known as the most famous. Some have expanded the meaning to explain the predicative qualities; the fact of which two views occurred: one is 'putting words for the spirits of meanings...
متن کاملDerived rules for predicative set theory: An application of sheaves
We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constructing sheaf models and using their preservation properties.
متن کاملAspects of Predicative Algebraic Set Theory III: Sheaves
This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a “predicative category with small maps” which axiomatises the idea of a category of classes and class morphisms, together with a selected class of maps whose fibres are set...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1966
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1966-11509-4